;;;;; -*- mode: lisp; syntax: common-lisp; package: cl-user; base: 10 -*- ;;;;
(DEFUN GIVENF-35014 (X1) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1))))) (AND (AND (P=P (X0) (X1))) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35016 (X1) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1))))) (AND (AND (P=A (X0 MOOD) IMPERATIVE) (P=P (X0) (X1))) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35021 (X1 X2) (LET ((X (LIST (LIST (LIST (QUOTE X2) X2) (LIST (QUOTE X1) X1))))) (AND (AND (P=A (X0 MOOD) DECLARATIVE) (P=P (X0 SUBJ) (X1)) (P=P (X1 NUMBER) (X2 NUMBER)) (P=P (X0) (X2))) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35027 (X1 X2) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1) (LIST (QUOTE X2) X2))))) (AND (AND (P=P (X0 PPADJUNCT) (X2)) (P=P (X0) (X1)) (LICENSE-ATTACHMENT X1 X2)) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35030 (X1 X2) (LET ((X (LIST (LIST (LIST (QUOTE X2) X2) (LIST (QUOTE X1) X1))))) (AND (AND (P=P (X0 DET) (X1)) (P=P (X0) (X2))) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35032 (X1) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1))))) (AND (AND (P=P (X0) (X1))) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35038 (X1 X2) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1) (LIST (QUOTE X2) X2))))) (AND (AND (P=P (X0 PPADJUNCT) (X2)) (P=P (X0) (X1)) (LICENSE-ATTACHMENT X1 X2)) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35042 (X1 X2) (LET ((X (LIST (LIST (LIST (QUOTE X2) X2) (LIST (QUOTE X1) X1))))) (AND (AND (P=CA (X1 VALENCY) TRANS) (P=P (X0 OBJ) (X2)) (P=P (X0) (X1))) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35045 (X1) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1))))) (AND (AND (P=CA (X1 VALENCY) INTRANS) (P=P (X0) (X1))) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35048 (X1 X2) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1) (LIST (QUOTE X2) X2))))) (AND (AND (P=P (X0 OBJ) (X2)) (P=P (X0) (X1))) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35050 (X1) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1))))) (AND (AND (P=L (X0) (PARSE-ENG-WORD (STRING-DOWNCASE (SYMBOL-NAME (X1 VALUE))))) (P=A (X0 CAT) N)) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35052 (X1) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1))))) (AND (AND (P=L (X0) (PARSE-ENG-WORD (STRING-DOWNCASE (SYMBOL-NAME (X1 VALUE))))) (P=A (X0 CAT) V)) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35054 (X1) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1))))) (AND (AND (P=L (X0) (PARSE-ENG-WORD (STRING-DOWNCASE (SYMBOL-NAME (X1 VALUE))))) (P=A (X0 CAT) DET)) (OR (GETVALUE* X (QUOTE (X0))) T))))
(DEFUN GIVENF-35056 (X1) (LET ((X (LIST (LIST (LIST (QUOTE X1) X1))))) (AND (AND (P=L (X0) (PARSE-ENG-WORD (STRING-DOWNCASE (SYMBOL-NAME (X1 VALUE))))) (P=A (X0 CAT) P)) (OR (GETVALUE* X (QUOTE (X0))) T))))
